Nébuleuses découvertes et observées à Marseille par Mr. E. Stephan

Sur les maladies contagieuses des Animaux domestiques, observées en Iran de 1930 à 1935 par Louis

Contribution à la vérication formelle et programmation par contraintes

ion des prédicats Le model checking symbolique utilise une représenta-tion efficace des formules booléennes. Une façon orthogonale pour accrôıtre l’effi-cacité est de simplifier le modèle en cours de vérification en prenant une abstraction.Ce principe a été utilisé en vérification de matériel (propriétés en logique temporellede programmes assembleur) [16] puis de logiciel [14]. ...

sur les maladies contagieuses des animaux domestiques, observées en iran de 1930 à 1935 par louis

0

Contribution à la modélisation et à l'interrogation de documents multimedia par les metadonnées

The aim of this paper is to present a proposal for multimedia documents annotation, based on modeling and unifying features elicited from content and structure mining. Our approach relies on the availability of annotated metadata representing segment content and structure as well as segment transcripts. Temporal and spatial operators are also taken into account when annotating documents. Any fe...

Gestion et évolution de profils Multicritères de décideur par apprentissage pour l’aide à la Décision